1. Abductive inference models for diagnostic problem-solving
Author: Peng, Yun
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
Classification :
Q
335
.
P414
1990
2. Abductive reasoning :logical investigations into discovery and explanation
Author: Aliseda, Atocha.
Library: Library of Mofid University (Qom)
Subject: ، Abduction )Logic(,، Reasoning,، Artificial intelligence
Classification :
BC199
.
A26
A45
2006
3. Argumentation in artificial intelligence
Author: / edited by Iyad Rahwan, Guillermo R. Simari
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence.,Reasoning.,Logic.
Classification :
Q
,
335
.
5
,.
A74
,
2009
4. Argumentation in artificial intelligence
Author: edited by Iyad Rahwan, Guillermo R. Simari
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Logic,Reasoning
Classification :
Q335
.
5
.
A74
2009eb
5. Argumentation in artificial intelligence
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Reasoning. ; Logic. ;
6. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
7. Commonsense Reasoning
Author: \ Erik T. Mueller, IBM Watson Group and IBM Research.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
Classification :
E-Book
,
8. Commonsense reasoning /
Author: Erik T. Mueller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
Classification :
Q338
.
85
.
M84
2006eb
9. Elements of argumentation
Author: / Philippe Besnard and Anthony Hunter
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence.,Reasoning.,Logic.,Information technology.
Classification :
Q
,
335
,.
B489
,
2008
10. Elements of argumentation /
Author: Philippe Besnard and Anthony Hunter
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Information technology,Logic,Reasoning
Classification :
Q335
.
B489
2008
11. Elements of argumentation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Reasoning. ; Logic. ; Information technology. ;
12. Formal methods in artificial intelligence
Author: Allan Ramsay
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
Classification :
Q
,
335
,.
R35
,
1988
13. Formal methods in artificial intelligence
Author: Ramsay, Allan, 3591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
Q
335
.
R35
1988
14. Inductive reasoning :
Author: edited by Aidan Feeney, Evan Heit.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),PSYCHOLOGY-- Cognitive Psychology.,Reasoning (Psychology),SCIENCE-- Cognitive Science.
Classification :
BF442
.
I53
2007eb
15. Inductive reasoning :
Author: edited by Aidan Feeney, Evan Heit.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),Reasoning (Psychology)
Classification :
BF442
.
I53
2007
16. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
Classification :
Q
،
334
،.
I576
،
1989
17. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
Author: editor, Zbigniew W. Ras
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
Classification :
Q
334
.
I576
1989
18. Non-monotonic reasoning :
Author: Witold Łukaszewicz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Logic,Reasoning
Classification :
Q335
.
L85
1990
19. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
Author: M. Reinfrank, ]editor[...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
346
20. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
Q
334
.
N66
1989
